Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
301	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
302	Towards an algebraic classification of recognizable sets of lambda-terms1 Sylvain Salvati INRIA Bordeaux sud-ouest, LaBRI, universit´ e de Bordeaux Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-28 01:56:16 Models of computation Computability theory Lambda calculus Spectral theory Formal language Theoretical computer science Mathematics Applied mathematics
303	2005 Paper 4 Question 1 Compiler Construction (a) A (phrase-structured) grammar is often defined to be a 4-tuple (N, T, R, S) where R is a set of production rules. Explain what the other components of the 4-tuple are. E Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:05 Computing Programming language implementation Compiling tools Compiler construction Acronyms Yacc Lex Parsing Formal grammar Formal languages Software Parser generators
304	Light Regular Medium SemiBold Bold ExtraBold Add to Reading List Source URL: a2-type.co.uk Language: English - Date: 2014-02-03 15:42:51 Theoretical computer science Regular language Formal grammar Chomsky hierarchy Regular grammar Regular expression Programming language Parsing Cyrillic script Formal languages Combinatorics Mathematics
305	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
306	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
307	Language-Independent Discriminative Parsing of Temporal Expressions Gabor Angeli Stanford University Stanford, CA 94305 Add to Reading List Source URL: stanford.edu Language: English - Date: 2013-05-16 02:40:44 Software Compiler construction Parsing Computational linguistics Statistical natural language processing Attribute grammar Formal grammar Parse tree Stochastic context-free grammar Formal languages Software engineering Computing
308	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
309	INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2009-11-13 10:44:47 Data modeling Formal methods Finite-state machine Unified Modeling Language Abstract Syntax Notation One Diagrams Specification and Description Language Software engineering
310	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics

UPDATE